<?hh <<__EntryPoint>> function main(): void {
$f = dirname(__FILE__)."/004.txt.gz";
$h = gzopen($f, "r");
var_dump(fstat($h));
fclose($h);
echo "===DONE===\n";
}
